『MetaML and Multi-stage Programming with Explicit Annotations』